Linear and Weakly Nonlinear Stability Analyses of Turing Patterns for Diffusive Predator-Prey Systems in Freshwater Marsh Landscapes.

We study a diffusive predator-prey model describing the interactions of small fishes and their resource base (small invertebrates) in the fluctuating freshwater marsh landscapes of the Florida Everglades. The spatial model is described by a reaction-diffusion system with Beddington-DeAngelis functional response. Uniform bound, local and global asymptotic stability of the steady state of the PDE model under the no-flux boundary conditions are discussed in details. Sufficient conditions on the Turing (diffusion-driven) instability which induces spatial patterns in the model are derived via linear analysis. Existence of one-dimensional and two-dimensional spatial Turing patterns, including rhombic and hexagonal patterns, are established by weakly nonlinear analyses. These results provide theoretical explanations and numerical simulations of spatial dynamical behaviors of the wetland ecosystems of the Florida Everglades.